You have chosen , Nominalism and Substitutional Quantifiers and .
All three must be different; choose another text.